Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
491	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-30 04:38:21 Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton
492	Statecharts: Some Critical Observations Michael Breen last updated[removed]Abstract Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Digital electronics Theoretical computer science Diagrams Mathematics State diagram Finite-state machine Computer science Stopwatch Orthogonality Models of computation UML diagrams Automata theory
493	On Abstraction in Finite State Machine Models Michael Breen 12 September[removed]Draft) Abstract Information hiding is a long established principle in software engineering. However, in the context of finite state machines Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Science Infographics Information science Software engineering Automata theory Finite-state machine Structured analysis State diagram Data flow diagram Models of computation Diagrams Data management
494	SDL Game Development Shaun Ross Mitchell Chapter No. 5 "Handling Game States" Add to Reading List Source URL: www.packtpub.com Language: English C++ Automata theory Finite-state machine Objective-C Software engineering Object-oriented programming Computer programming
495	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science
496	Free University of Bolzano, Prof. J. Nievergelt: Formal Languages, Sem 1, Fall 2006 Oct 02 Models of computation: Ruler and compass, systolic arrays, finite state machines Oct 02 Lab Kara: study examples and write a pr Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2006-11-23 06:52:35 Computability theory Models of computation Turing machine Computability Finite-state machine Automata theory Halting problem Busy beaver Computable function Theoretical computer science Computer science Theory of computation
497	Theory of computation: Summary of main concepts 3. Finite automata and regular languages: theory State Minimization Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:08 Combinatorics Mathematics Regular expression Alphabet Finite-state machine Regular language Theory of computation Kleene star Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science
498	jn[removed]Finite state machines (fsm, sequential machines): examples and applications Goal of this chapter: fsm’s are everywhere in our technical world! Learn how to work with them. 2.1 Example: Design a finite Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:13 Finite-state machine Nondeterministic finite automaton Deterministic finite automaton Applied mathematics Function Counter Automata theory Models of computation Mathematics
499	jn[removed]Finite automata with external storage Concepts of this chapter: Finite automata with external storage of unbounded capacity, subject to various access restrictions that limit the automa’s power of compu Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Theoretical computer science Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Turing machine Linear bounded automaton Alphabet Queue automaton Counter automaton Automata theory Theory of computation Models of computation
500	IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Electronics Finite-state machine State transition system Verilog Transition Token ring Timer Specification and Description Language Models of computation Electronic engineering Computing

UPDATE